local prodid=KEYS[1];
local qtkey="product:"..prodid;
local num= redis.call("get" ,qtkey);
if tonumber(num)<=0 then
  return 0;
else
  redis.call("decr",qtkey);
end
return tonumber(num);